A note on Brouwer’s weak continuity principle and the transfer principle in nonstandard analysis
نویسندگان
چکیده
منابع مشابه
A note on Brouwer's weak continuity principle and the transfer principle in nonstandard analysis
A well-known model of nonstandard analysis is obtained by extending the structure of real numbers using an ultra power construction. A constructive approach due to Schmieden and Laugwitz uses instead a reduced power construction modulo a cofinite filter, but has the drawback that the transfer principle is weak. In this paper it is shown that this principle can be strengthened by employing Brouw...
متن کاملTransfer Principle Proof Tactic for Nonstandard Analysis
This paper describes a type constructor for nonstandard extensions of arbitrary types, generalizing the previous formalization of nonstandard analysis in Isabelle by Fleuriot and Paulson [1]. In addition to numeric types, nonstandard extensions of function spaces and set types also prove useful—they provide an elegant way to define internal functions and internal sets. The paper also describes ...
متن کاملOn Weak Markov's Principle
We show that the so-called weak Markov’s principle (WMP) which states that every pseudo-positive real number is positive is underivable in T ω :=EHA+AC. Since T ω allows to formalize (at least large parts of) Bishop’s constructive mathematics this makes it unlikely that WMP can be proved within the framework of Bishop-style mathematics (which has been open for about 20 years). The underivabilit...
متن کاملOn the Weak Reflection Principle
The Weak Reflection Principle for ω2, or WRP(ω2), is the statement that every stationary subset of Pω1 (ω2) reflects to an uncountable ordinal in ω2. The Reflection Principle for ω2, or RP(ω2), is the statement that every stationary subset of Pω1 (ω2) reflects to an ordinal in ω2 with cofinality ω1. Let κ be a κ+-supercompact cardinal and assume 2κ = κ+. Then there exists a forcing poset P whic...
متن کاملA Note on the Splitting Principle
We offer a new perspective on the splitting principle. We give an easy proof that applies to all classical types of vector bundles and in fact to G-bundles for any compact connected Lie group G. The perspective gives precise calculational information and directly ties the splitting principle to the specification of characteristic classes in terms of classifying spaces. In the algebraic topology...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Analysis
سال: 2012
ISSN: 1759-9008
DOI: 10.4115/jla.2012.4.2